[numthreads(1, 1, 1)]
void f() {
  const int4 b = int4(1073757184, -1006616064, -998242304, 987654321);
  return;
}
